import static org.junit.Assert.*;
import junit.framework.Assert;

import org.junit.BeforeClass;
import org.junit.Test;

import fr.tpt.aadl.ramses.control.cli.core.ToolSuiteLauncherCommand ;
import fr.tpt.aadl.ramses.control.support.services.ServiceRegistryProvider ;
import fr.tpt.aadl.ramses.control.cli.StaticServiceRegistry;
import fr.tpt.aadl.ramses.control.cli.core.*;
public class test {

	@BeforeClass
	public static void setUpBeforeClass() throws Exception {
	}

	@Test
	public void test() {
		//fail("Not yet implemented");
		
		String[] args = {"-m", "test/arinc653-buffer-delayed/test_buffer.aadl2","-g", "pok", "-s", "root.impl", "-o", "test/arinc653-buffer-delayed", "-i", "test/", "-d", "model2model/fr.tpt.aadl.ramses.transformation.atl/"};
		
		
		for(int i = 0; i<12; i++){
			System.out.print(args[i]+"\n");
		}
		
		
		System.out.print("aaaaaaaaaaaaa");

		
		try
		    {
		      ServiceRegistryProvider.setDefault(new StaticServiceRegistry()) ;
		      ToolSuiteLauncherCommand.main(args) ;
		    }
		    catch(Exception e)
		    {
		      e.printStackTrace() ;
		    }
		
		
		Assert.assertNotNull(args);
		
	}

}
